- axiomatised
- axiomatise (Brit.) v. express a theory as a set of basic assumption (also axiomatize)
English contemporary dictionary. 2014.
English contemporary dictionary. 2014.
History of logic — Philosophy ( … Wikipedia
Pure mathematics — Broadly speaking, pure mathematics is mathematics motivated entirely for reasons other than application. It is distinguished by its rigour, abstraction and beauty. From the eighteenth century onwards, this was a recognized category of… … Wikipedia
Infinitary logic — Those unfamiliar with mathematical logic or the concept of ordinals are advised to consult those articles first. An infinitary logic is a logic that allows infinitely long statements and/or infinitely long proofs. Some infinitary logics may have… … Wikipedia
Elementary class — In the branch of mathematical logic called model theory, an elementary class (or axiomatizable class) is a class consisting of all structures satisfying a fixed first order theory. Contents 1 Definition 2 Conflicting and alternative terminology … Wikipedia
Enumerative geometry — In mathematics, enumerative geometry is the branch of algebraic geometry concerned with counting numbers of solutions to geometric questions, mainly by means of intersection theory.HistoryThe problem of Apollonius is one of the earliest examples… … Wikipedia
Inversive plane — An inversive plane is a class of incidence structure in mathematics.It may be axiomatised by taking two classes, points and circles (or blocks ) with the properties * any three points lie on exactly one circle; * if P and Q are points and c a… … Wikipedia
Romanian philosophy — is a name covering either a) the philosophy done in Romania or by Romanians, or b) an ethnic philosophy, which expresses at a high level the fundamental features of the Romanian spirituality, or which elevates to a philosophical level the… … Wikipedia